Groups with Finitely Many Countable Models
نویسندگان
چکیده
We construct Abelian group with an extra structure whose first order theory has finitely many but more than one countable model.
منابع مشابه
On Finitely Generated Models of Theories with at Most Countably Many Nonisomorphic Finitely Generated Models
We study finitely generated models of countable theories, having at most countably many nonisomorphic finitely generated models. We introduce a notion of rank of finitely generated models and we prove, when T has at most countably many nonisomorphic finitely generated models, that every finitely generated model has an ordinal rank. This rank is used to give a property of finitely generated mode...
متن کاملVaught's conjecture for superstable theories of finite rank
In [Vau61] Vaught conjectured that a countable first order theory has countably many or 2א0 many countable models. Here, the following special case is proved. Theorem. If T is a superstable theory of finite rank with < 2א0 many countable models, then T has countably many countable models. The basic idea is to associate with a theory a ∧ − definable group G (called the structure group) which con...
متن کاملGroups with Finitely Many Conjugacy Classes and Their Automorphisms
We combine classical methods of combinatorial group theory with the theory of small cancellations over relatively hyperbolic groups to construct finitely generated torsion-free groups that have only finitely many classes of conjugate elements. Moreover, we present several results concerning embeddings into such groups. As another application of these techniques, we prove that every countable gr...
متن کاملAlgebraic Properties of Quasi-finite Complexes
A countable CW complexK is quasi-finite (as defined by A.Karasev [30]) if for every finite subcomplex M of K there is a finite subcomplex e(M) containing M such that any map f : A → M , A closed in a separable metric space X satisfying XτK, there is an extension g : X → e(M) of f . Levin’s [36] results imply that none of the Eilenberg-MacLane spaces K(G, 2) is quasi-finite if G = 0. In this pap...
متن کاملUniversal Countable Borel quasi-Orders
In recent years, much work in descriptive set theory has been focused on the Borel complexity of naturally occurring classification problems, in particular, the study of countable Borel equivalence relations and their structure under the quasi-order of Borel reducibility. Following the approach of Louveau and Rosendal in [8] for the study of analytic equivalence relations, we study countable Bo...
متن کامل